It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...) 1969 when I was appointed. Soon after, he became Chair. As his Associate Chair from 1971to 1975, I spent many hours with him in Buffalo and on professional trips .. (shrink)

Excerpts and paraphrases of this memoir appeared in 2008 and 2009. I posted it in full here in happy memory of Peter Hare and my joyful years with him. -/- 2008. Remembering Peter Hare 1935–2008. Philosophy Now. Co-authors: T. Madigan and A. Razin. Issue 66 March/April 2008. Pages 50–2. PDF -/- 2009. Remembering My Life with Peter Hare. Remembering Peter Hare 1935–2008. Ed. J. Campbell. Society for the Advancement of American Philosophy. pp. 9–16. http://american-philosophy.org/documents/RememberingPeterHare_final.pdf -/- Peter H. Hare, Distinguished Professor (...) Emeritus of Philosophy at the University of Buffalo (SUNY at Buffalo), died peacefully in his sleep on Thursday, January 3, 2008. I would like to share my memories of my life with him. Others have eulogized him, enumerated his virtues and accomplishments, and written his obituaries. I am revisiting my personal relationship with him. These memories are as much about me as about him. (shrink)

This paper combines personal reminiscences of the philosopher John Corcoran with a discussion of certain conflicts between historians of logic and philosophers of logic. Some mistaken claims about the history of the Bolzano-Weierstrass Theorem are analyzed in detail and corrected.

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

This article investigates discursive practices associated with the co-management of patients between healthcare providers. Specifically, we focus on two genres written by optometrists and ophthalmologists — two groups who are experiencing interprofessional tension over their scopes of practice. In our analysis we foreground four kinds of modality associated with verbs — epistemic, deontic, phatic and subjective. We found that these healthcare providers shared in the epistemic resources used to hedge their sense of clinical certainty, and that ophthalmologists used deontic resources (...) to control future action. However, we also noted that both professions used deontic, phatic and subjective resources to create dialogical space for each other to participate in some future relationship. In fact, one of the main points of this correspondence might be to establish personal relationships between practitioners. Unfortunately, however, this subtle use of modality to negotiate professional boundaries is fading as many ophthalmologists, due to workload issues, are not responding to referral letters or are converting their correspondence to form letters. (shrink)

The mature cerebral cortex contains a staggering variety of projection neuron subtypes, and a number of complementary studies have recently begun to define their identity and embryonic origin. Among the different types of cortical projection neurons, subcerebral projection neurons, including corticospinal motor neurons (CSMN), have been extensively studied and some of the molecular controls over their differentiation have been elucidated. Here, we first provide an overview of the approaches used to purify and molecularly profile neuronal populations of the neocortex and, (...) more broadly, of the central nervous system (CNS). Next, we specifically review recent progress in understanding the genes that define and control development of the CSMN population. Finally, we briefly discuss the relevance of this work to current questions regarding the mechanisms of the establishment of projection neuron subtype identity in the neocortex and its implications to direct the differentiation of CSMN for therapeutic benefit. (shrink)

The work of creating the future is being done now ─ and much of it is unsustainable in terms of natural and cultural resources. How will the next generation of leadership for environmental sustainability be raised up? Can we imagine sustainable futures, and can we enable transformative leadership to help us realize them? How can we best ensure that the several generations share their particular knowledge? What are the ethical frameworks, methodologies, curricula, and tools necessary for advancing and strengthening education (...) for intergenerational sustainability learning and leadership? In this book, 82 authors from 26 countries across 6 continents seek answers in 32 essays to the many questions related to the intergenerational collaboration that holds promise for creating sustainable futures. The authors themselves represent a diversity of geography, gender, and generation ─ and include the institutions comprising the emerging International Intergenerational Net-work of Centers. They speak to key principles, perspectives, and praxes at the intersection of intergenerational learning and transformative leadership in the context of education for sustainability. A visionary tour de force, this book explores the challenges and complexities of future learning models beyond the UN Decade of Education for Sustainable Development. It provides a timely discourse encompassing intergenerational and cultural dimensions, including ethics. Contributors articulate a deeper understanding of leadership in the post-Enlightenment era. Chapters in the book offer examples cutting across a diverse range of experiences worldwide, making this volume not only refreshing for practitioners, but also invaluable to policy-makers. ─ Dzulkifli Abdul Razak President, International Association of Universities Former Vice-Chancellor, Universiti Sains Malaysia These are critical times for the global community. Big issues are on the table: security, climate change, environmental destabilization, disease, hunger, and others. Actions we take today must embrace lessons from the past, present realities, and the rights and interests of future generations. Indeed, intergenerational learning is vital to education for sustainable development. This book makes a very timely and urgent call, challenging our traditional learning approaches and inviting us to dig deeper, stretch our minds wider, and see farther. ─ Akpezi Ogbuigwe Former Head of Environmental Education and Training, United Nations Environment Programme Executive Chairperson, Anpez Center for Environment and Development, Port Harcourt, Nigeria Achieving sustainable development requires generations, young and old, to engage with and learn from each other, and for leadership to embrace change. That is one of the key messages of this remarkable book. I wish I had this book when I took up the leadership role of my university two decades ago. I wish I could have given this book to my sons as they started their university education. ─ Goolam Mohamedbhai Former Secretary-General, Association of African Universities Honorary President, International Association of Universities. (shrink)

Young people have an enormous stake in the present and future state of Earth. Almost half of the human population is under the age of 25. If young people’s resources of energy, time, and knowledge are misdirected towards violence, terrorism, socially-isolating technologies, and unsustainable consumption, civilization risks destabilization. Yet, there is a powerful opportunity for society if young people can participate positively in all aspects of sustainable development. In order to do so, young people need education, political support, resources, skills, (...) and hope. This volume offers a global perspective on education initiatives by and for young people that promote a transition to sustainability. It includes 38 essays co-authored by 68 contributors from 25 nations, representing a diversity of geography, gender, and generation. "The development of youth leadership has been a central concern of my professional work. Young people have a lot to offer to sustainable development and should participate in planning for our planet’s future. This rich collection of theoretical and practical approaches captures the growing response of young people to this challenge. I am particularly pleased with the attention paid to the role of often-underrepresented regions of the world, to the role of women, and to the Earth Charter in the creating of a peaceful and sustainable future." Julia Marton-Lefèvre, Director General of IUCN (International Union for Conversation of Nature), and former Rector of the University for Peace "This book is a rich, global tapestry depicting the inter-linkages among youth, education and sustainable development. What is particularly interesting is that it shows how education, at all levels, can be a powerful engine for promoting sustainability. This work is an important contribution to the United Nations Decade of Education for Sustainable Development." Goolam Mohamedbhai, Secretary-General, Association of African Universities, and Past President, International Association of Universities "This important and skillfully-prepared book comes at a critical time.... A great strength of this volume is that it blends together theoretical and practical insights regarding education for sustainable development by and for young people. It is written from diverse cultural perspectives from all world regions. Readers, from many fields, especially young people and their teachers, will find it timely and relevant. I hope that it will inspire the younger generation to get involved in seeking solutions to the challenges we face." James Gustave Speth, Former Administrator of the United Nations Development Programme, and Dean Emeritus of the School of Forestry and Environmental Studies at Yale University "It is my hope that you are inspired, as I have been, by Young People, Education, and Sustainable Development: Exploring Principles, Perspectives, and Praxis, for the stories in this volume are full of the possibilities that emerge when we honor and support young people." Ruud Lubbers, Former Prime Minister of The Netherlands, and past United Nations High Commissioner for Refugees. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

What is the function of cognition? On one influential account, cognition evolved to co-ordinate behaviour with environmental change or complexity. Liberal interpretations of this view ascribe cognition to an extraordinarily broad set of biological systems—even bacteria, which modulate their activity in response to salient external cues, would seem to qualify as cognitive agents. However, equating cognition with adaptive flexibility per se glosses over important distinctions in the way biological organisms deal with environmental complexity. Drawing on contemporary advances in theoretical biology (...) and computational neuroscience, we cash these distinctions out in terms of different kinds of generative models, and the representational and uncertainty-resolving capacities they afford. This analysis leads us to propose a formal criterion for delineating cognition from other, more pervasive forms of adaptive plasticity. On this view, biological cognition is rooted in a particular kind of functional organisation; namely, that which enables the agent to detach from the present and engage in counterfactual inference. (shrink)

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

This is a theoretical treatment of the term "Sha Zhu Pan" (杀猪盘) in Chinese, which translates to “Pig-Butchering” in English. The article critically examines the propagation and validation of "Pig Butchering," an animal metaphor, and its implications for the dehumanisation of victims of online fraud across various discourses. The study provides background information about this type of fraud before investigating its theoretical foundations and linking its emergence to the dehumanisation of fraud victims. The analysis highlights the disparity between academic literature, (...) subjected to rigorous peer-review processes, and sensationalised narratives prevalent in the media. While academic works subject "pig butchering" to critical scrutiny and refrain from endorsing derogatory terms to depict fraud victims, numerous media outlets employ this term uncritically, further worsening the predicament of these victims. "Pig butchering" is firmly rooted in the concept of dehumanisation, and this article underscores how language moulds perceptions of fraud and behaviour, extending to the development of preventive strategies. The role of law enforcement agencies in generating and disseminating materials is also a central theme, emphasising their responsibility as trusted sources of information. We suggest that these agencies should adopt non-victim shaming language to encourage victims to report crimes and alleviate the stigma attached to victimisation. Additionally, the article offers valuable cross-cultural insights by comparing metaphors from Chinese and Nigerian contexts. This comparative analysis enriches our comprehension of the global dimensions of online fraud and its cultural diversities, highlighting the substantial impact of language on perceptions and behaviours. We advocate for a departure from victim-blaming tendencies perpetuated by select media outlets, urging a more compassionate and accurate portrayal of those affected by online fraud. We, therefore, call for a more empathetic and accurate portrayal of individuals affected by online fraud, aligning with the broader objective of promoting understanding and support for these victims. (shrink)

This paper develops a modal, Sentential logic having "not", "if...Then" and necessity as logical constants. The semantics (system of meanings) of the logic is the most obvious generalization of the usual truth-Functional semantics for sentential logic and its deductive system (system of demonstrations) is an obvious generalization of a suitable (jaskowski-Type) natural deductive system for sentential logic. Let a be a set of sentences and p a sentence. "p is a logical consequence of a" is defined relative to the semantics (...) and "p is demonstrable from a" is defined relative to the deductive system. Main meta-Theorem: p is demonstrable from a if and only if p is a logical consequence of a. Henkin-Type methods are used. The theorems of the logic are exactly those of s5. The deductive system is rigorously developed as a system of linear strings. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Ferrarese develops our thinking about the social conditions of caring for others, while arguing for an understanding of morality that is materialist and political - always-already political.

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Moral imagination is a central component of moral agency and person‐centred care. Becoming moral agents who can sustain attention on patients and their families through their illness and suffering involves imagining the other, what moral possibilities are available, what choices to make, and how one wants to be. This relationship between moral agency, moral imagination, and personhood can be effaced by a focus on task‐driven technical rationality within the multifaceted challenges of contemporary healthcare. Similarly, facilitating students' moral agency can also (...) be obscured by the task‐driven technical rationality of teaching. The development of moral agency requires deliberate attention across the trajectory of nursing education. To prepare nursing students for one practice challenge, workplace violence, we developed a multimodal education intervention which included a simulated learning experience (SLE). To enhance the realism and consistency of the educational experience, 11 nursing students were trained as simulated participants (SP). As part of a larger study to examine knowledge acquisition and practice confidence of learners who completed the SLE, we explored the experience of being the SP through interviews and a focus group with the SP students. The SP described how their multiple performances contributed to imagining the situation ‘on both sides’ prompting empathy, a reconsideration of their moral agency, and the potential to prevent violence in the workplace beyond technical rational techniques, such as verbal de‐escalation scripts. The empirical findings from the SP prompted a philosophical exploration into moral imagination. We summarise the multimodal educational intervention and relevant findings, and then, using Johnson's conception of moral imagination and relevant nursing literature, we discuss the significance of the SP embodied experiences and their professional formation. We suggest that SLEs offer a unique avenue to create pedagogical spaces which promote moral imagination, thereby teaching for moral agency and person‐centred care. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

This collection brings together cutting-edge research on the metaphysics of human nature and soul-body dualism.Kevin Corcoran's collection, Soul, Body, and ...

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Corcoran, John. 1974. Aristotelian Syllogisms: Valid arguments or true generalized conditionals?, Mind 83, 278–81. MR0532928 (58 #27178) This tightly-written and self-contained four-page paper must be studied and not just skimmed. It meticulously analyses quotations from Aristotle and Lukasiewicz to establish that Aristotle was using indirect deductions—as required by the natural-deduction interpretation—and not indirect proofs—as required by the axiomatic interpretation. Lukasiewicz was explicit and clear about the subtle fact that Aristotle’s practice could not be construed as correctly performed indirect proof. (...) Lukasiewicz evidence is presented fully; it is irrefutable. But, instead of considering the possibility that Aristotle’s discourses were not intended to express indirect proofs of universalized conditions presupposing axiomatic premises, Lukasiewicz came to the amazing conclusion that Aristotle did not understand indirect proof. This paper builds on the admirable Lukasiewicz scholarship to establish a conclusion diametrically opposed to the one Lukasiewicz asserted. This paper points out that if Aristotle had not been establishing an underlying logic but he was instead axiomatizing a theory of terms, Aristotelians could not claim for Aristotle the title Founder of Logic. People who take Euclid, Peano, and Zermelo to have first axiomatized geometry, arithmetic, and set theory, respectively, do not think that this qualifies them for the titles Founder of Geometry, Founder of Arithmetic, and Founder of Set Theory, respectively. Such people do think that this would qualify the three for the titles Founder of Axiomatic Geometry, Founder of Axiomatic Arithmetic, and Founder of Axiomatic Set Theory, respectively: titles that carry no honors in logic. Being the Founder of Axiomatic Term Theory would likewise carry no honors in the field of logic. CORRECTION: The paper inadvertently implied that Euclid was the first to axiomatize geometry. In order to understand Aristotle’s Analytics as a treatise on demonstration it helps to realize that axiomatized geometry was studied in Plato’s Academy when Aristotle was a student. Euclid was the author of the only ancient axiomatized geometry now available. (shrink)